Improve configuration of makeinfo.
authorWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:38:14 +0000 (11:38 +0100)
committerWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:38:14 +0000 (11:38 +0100)
commit80fd2c7011b214d0507c87e5df466477a638a87d
treed47ebb1484c236a2da343af61424bbf9bfde6265
parent76960d529d5b98f565ffedbecb14071e46afd89c
Improve configuration of makeinfo.

* Makefile.in (MAKEINFO): Now controlled by `configure'.
(MAKEINFO_OPTS): New variable.  Use it where appropriate.
(ENVADD): Updated.
doc/misc/ChangeLog
doc/misc/Makefile.in